ALGEBRE de Boole et machines logiques / sous la direction de J. Kuntzmann, P.Naslin |
Pubbl/distr/stampa | Paris : Dunod, 1967 |
Disciplina | 511.324 |
Collana | Bibliothèque de l'automaticien |
Soggetto non controllato |
Algebra booleana
Logica algebrica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-990001265220403321 |
Paris : Dunod, 1967 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin |
Autore | Hailperin, Theodore |
Edizione | [2nd ed., revised and enlarged] |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1986 |
Disciplina | 512 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Algebre di boole
Logica algebrica Calcolo delle probabilita - Algebra |
ISBN | 0-444-87952-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001297960403321 |
Hailperin, Theodore | ||
Amsterdam [etc.] : North-Holland, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin |
Autore | Hailperin, Theodore |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1976 |
Disciplina | 512 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Algebre di boole
Logica algebrica Calcolo delle probabilita - Algebra |
ISBN | 0-444-11037-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001297950403321 |
Hailperin, Theodore | ||
Amsterdam [etc.] : North-Holland, 1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Cardinal invariants on boolean algebras / J. Donald Monk |
Autore | Monk, J. Donald |
Edizione | [2. Revised edition] |
Pubbl/distr/stampa | Basel : Birkhäuser, 2014 |
Descrizione fisica | VII, 573 p. ; 24 cm |
Disciplina | 511.324 |
Collana | Progress in mathematics |
Soggetto non controllato |
Teoria degli insiemi
Logica algebrica Ordine, reticoli, strutture algebriche ordinate - Esposizione a livello avanzato Algebra booleana |
ISBN | 9783034807296 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009961440403321 |
Monk, J. Donald | ||
Basel : Birkhäuser, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
L'algèbre de la logique / Louis Couturat |
Autore | Couturat, Louis |
Edizione | [2.e éd.] |
Pubbl/distr/stampa | Paris : Blanchard, 1980 |
Descrizione fisica | 100 p. ; 16 cm |
Disciplina | 511.324 |
Soggetto non controllato | Logica algebrica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Titolo uniforme | |
Record Nr. | UNIPARTHENOPE-000019012 |
Couturat, Louis | ||
Paris : Blanchard, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Parthenope | ||
|
Realizability : an introduction to its categoricl side / Jaap van Oosten |
Autore | Oosten, Jaap : van |
Pubbl/distr/stampa | Amsterdam : Elsevier, c2008 |
Descrizione fisica | XVI, 310 p. ; 24 cm |
Disciplina | 511.33 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica categoriale
Logica algebrica |
ISBN | 978-0-444-51584-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008820350403321 |
Oosten, Jaap : van | ||
Amsterdam : Elsevier, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Rudiments of u-calculus / A. Arnold, D. Niwinski |
Autore | Arnold, A. |
Pubbl/distr/stampa | Amsterdam : Elsevier, c2001 |
Descrizione fisica | xi, 277 p. ; cm24 |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica algebrica
Computer science - Matematica |
ISBN | 0-444-50620-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001499970403321 |
Arnold, A. | ||
Amsterdam : Elsevier, c2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|